. ., “The « De Vries » Recording Tide Gauge (Extract)”, IHR, no. 1, May 2018.