Archivmaterialien zu Paul Bernays, 1888-1977 - Bernays, Paul (2019)