ballet house, opera house, oslo, norway, opera