Otto Koenig (1914 - 1992)