Development of Gravity Pendulums in the 19th Century by Lenzen and Multhauf