Cattedrale di S. Gerlando, Agrigento, Agrigento, Sicilia