Title: Dictionary of manufactures, mining, machinery, and the industrial arts