i den kejserliga Stora operan.