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