Otto Haupt — German mathematician (1887–1988)