Wagners "Große romantische Oper", 1845 uraufgeführt und 1845/46 erstmals veröffentlicht, in der Neuedition von Egon Voss mit ausführlichem Nachwort.