Sanierung des Schlosssees 2023