Informationen über Ticketkauf und eventuelle Restkarten bekommen Sie online oder in der Bürger- und Touristinfo im Rathaus.