ERNST H. WINCKELMANN (1905–1985)