Nowy gmach Opery w Oslo.