Restkarten gibt es für 25 Euro ab 15:30 Uhr an der Tageskasse.