Ein paar wenige Restkarten sind an der Tageskasse (für den Oberrang) erhältlich.