Willigis von Mainz unter Otto I., Otto II. und während der Thronbesteigung Ottos III - Böhmer, Arthur H. (1895)