Matthias Seutter. Plan der Stadt Mainz (1700)