In 1656 Christian Huygens invented what type of timekeeper