Archivmaterialien zu Philipp Jenninger, 1932-2018 - Jenninger, Philipp