Archivmaterialien zu Ernst Stiefel, 1907-1997 - Stiefel, Ernst