DE - Deutsche Erstaufführung
DSE - Deutschsprachige Erstaufführung
(Länderkennzeichen)-EA - Erstaufführung im Ausland
UA - Uraufführung
WA - Wiederaufnahme
Ur- und Erstaufführungen in der Spielzeit 2012/2013 »
