Karten gibt es in der Tourist-Information, 05723/748560, oder ab 18.45 Uhr an der Abendkasse.