Carl Ferdinand Friedrich Lehmann-Haupt — German historian and orientalist (1861–1938)