Karten gibt es bei Tourist-Info und an der Abendkasse.