Title: Pendulum gravity measurements at sea, 1936-59