Oslo’s opera