Arbeiten an Würzburgs Schleuse

Die Würzburger Schleuse bekommt ein neues Schleusentor. Dafür wurde am Wochenende die gesamte Schleuse leergepumpt.