2103 Geodesy 1973 Netherlands Instrument maker Thies Leveling Device meter