Vermessungskunde. - Werkmeister, Paul, 1878- (de Gruyter, 1943)