Dehn, Paul, 1912-1976