större eller mindre opera , att möjligen användas vid det nya operahusets invigning.