2103 Geodesy 1972 Germany Instrument maker Carl Zeiss meter