The Oslo Opera House.