The roof of a Gaudi-designed building in Barcelona.