Der Dom zu Mainz - Jung, Wilhelm (Kunstführer, 1975)