Archivmaterialien zu Alfred Oppolzer, 1946- - Oppolzer, Alfred