seklet och fullbordad af Mainz " förste churfurste Willigis , ur 1000 , förstördes flera gånger och sednast genom bombardementet 1793 , samt blef 1803 färdig i sitt närvarande skick.