A [[borehole gravimeter]].