Der Dom zu Mainz.