Archivmaterialien zu Bernard Reymond, 1933- - Reymond, Bernard