, . . A Water-Level Gauge of the Long-Distance Recording Type. IHR 2018.