Zur Baugeschichte des Domes zu Mainz neue Untersuchungen über die Bauzeit des romanischen Mittelschiffes - Grein, Wilhelm