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