Stand August 2021, falls die Wiederinbetriebnahme erfolgt, bitte aktualisieren. Siehe auch BZ hier Lt. BZ Artikel 7.8.2021 wurde der Pumpbetrieb nicht so schnell aufgegeben wie es im WP-Artikel (wohl nach dieser Quelle) erscheint: letzter Betrieb 1965, die EscherWyss-Pumpe scheint noch drin zu sein - ?? -- Quinbus Flestrin 08:47, 8. Sep. 2021 (CEST)