Archivmaterialien zu Otto Mauer, 1907-1973 - Mauer, Otto (2019)