Agrigento’s old town.