Title: Repairing antique pendulum clocks