Title: Development of Gravity Pendulums in the 19th Century