Title: A dictionary of arts, manufacturers, and mines