Grossensee. Preis der Tageskarte für Erwachsene wird um 20 Prozent erhöht. Auch die Preise für Zehner- und Jahreskarten werden teurer.