Title: Dictionary of arts, manufactures and mines