[Vorderseite Bl. 130] Rumpelstilzchen / Ein heiter-ernstes / Bühnenmärchen von / RICHARD SCHRADER / nach den / Gebrüdern Grimm / Deusches / Nationaltheater / Weimar // [...] // [Vorderseite Bl. 130b] 21.12.85 13.01 [Uhr ...] / [...] Inszenierung Roselinde Lange / Bühnenbild Christian Panzer / [...] / Musikalische Einrichtung und Ton Konrad Aust / [...] / Die Musik stammt von dem englischen Komponisten / Benjamin Britten. / [...] / Premiere: 13. Oktober 1985 [...]