Distance measurement in the 18th century Manufacture of a distance meter based on Kleinschmidt by Johann Christian Breithaupt