found the old data from the seismometer measurements we did some time ago. Measurements agree more or less. Seismic noise floor measured some time ago was higher above 30Hz, but that was measured at the time where we had the construction going on and not during vacation time.