Archivmaterialien zu Alfred Ribi, 1931- - Ribi, Alfred