Dictionary of arts, manufactures and mines ... [ed] by Robert Hunt ...