Morawetz, Oskar (1917–2007)