Archivmaterialien zu Horst Mahler, 1936-2025 - Mahler, Horst