kejserliga operan , som strängt taget sörtjenar detta namn.