Finsler, Hans, 1891-1972