Eder, Helmut (1916–2005)