Non-Archimedean Analysis - heftet, Engelsk, 2012