The roof of the new opera house in Oslo.