Egon Hartmann und der Wiederaufbau von Mainz