La primera iglesia, fundada el 21 de septiembre de 937 en la misma localización que la actual catedral, fue la abadía de San Mauricio ("St.