Archivmaterialien zu Ernst Benda, 1925-2009 - Benda, Ernst