Baedeker Stadtführer, Mainz