La primera iglesia construida en el año 937 sobre la localización de la actual catedral fue la abadía de San Mauricio, dedicada a San Mauricio.