Astrogeodetic Deflection of the Vertical at ETH Zürich: From the Development of Instrumentations to Concrete Applications.