Nachlass von Hans de With, 1932- - With, Hans de