Measurement of ground borne vibrations for foundation design and vibration isolation of a high-precision instrument. (November 2016)