Title: Ure's dictionary of arts, manufactures, and mines