Oslo Opera House.