Winkler, Otto (1908–1988)