Adreßbuch der Stadt Mainz 1845, Beigabe Industrie und Gewerbe, S. 47.