Archivmaterialien zu Ernst Müller, 1957- - Müller, Ernst