Herman Diels
(1903 – 1986)