Nonarchimedean Functional Analysis by