Karl Menger at the University of Texas at Austin