Archivmaterialien zu Dieter Henrich, 1930- - Henrich, Dieter