Den operaverksamhet på Kristiania teater,