Nonarchimedean Functional Analysis by Petra Schneider & Peter Schneider