The roof of the opera house in Oslo.