kejserliga familjen till Marienskyteatern , eller ryska operan,