Karl Menger — Austrian mathematician (1902-1985)