Archivmaterialien zu Ernst Hohl, 1886-1957 - Hohl, Ernst