Benno Böhm, der erste Direktor der Kieler Gelehrtenschule nach 1945 - Trunz, Erich