en festföreställning i kungliga teatern , då “ Elverhöi “ uppfördes för första gången.