Was sollte man in Mainz gemacht haben?