Lexikon der Vermessungskunde - Werkmeister, Paul 1878-1944 (Wichmann, 1943)