Hochwasserschutzmaßnahme Hafen Rothensee zwischen Herrenkrugsteg und Einfahrt ehemaliger Schleusenkanal