Esta fue descubierta sobre el año 820 entre los restos de un asentamiento romano abandonado y sobre ella se construyó un templo que fue ampliado en los siglos siguientes hasta convertirse en la actual catedral.