See the Annals of Italy, A.D. 988. For this and the preceding fact, Muratori himself is indebted to the Benedictine history of Pere Mabillon.