Oslo Opera House, Norway.