Schneller Hochwasserschutz: Duisburgs Marientor wird saniert!