Archivmaterialien zu Benno Ohnesorg, 1940-1967 - Ohnesorg, Benno