Hinweis auf das einstige Mainzer Tor