Geovid, Entfernungsmesser von Leica