Kostenänderung bei der Sanierung des Waldschwimmbades