Zur Baugeschichte des Domes zu Mainz : neue Untersuchungen über die Bauzeit des romanischen Mittelschiffes / von Wilhelm Grein