Otto Haupt

German mathematician