Das durch einen Rohrbruch ausgelaufene Wasser wurde mit Tauchpumpen beseitigt.