Bör operan återupptagas vid Kristiania teater?