Archivmaterialien zu Ernst Hopp, - Hopp, Ernst