Hellmut Lehmann-Haupt — German writer (1903-1993)