Email Record: Pendulum gravity measurements at sea, 1936-1959 /