Tor zum Hochwasserschutz, Hochwasserschutzanlage in Grimma an der Mulde bei Leipzig, Sachsen, Deutschland