Statistics for Physical geodesy, with special reference to deflections of the vertical.