[Vorderseite Bl. 127] Rumpelstilzchen / Ein heiter-ernstes / Bühnenmärchen von / RICHARD SCHRADER / nach den / Gebrüdern Grimm / Deusches / Nationaltheater / Weimar // [...] // [Vorderseite Bl. 127b] 22.12.85 10.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