"When finished, the stones are removed from the acid and thrown into water, where they are well washed, and then dried in a kind of oven; they are next polished, and, afterwards, put into oil, where they remain for a day or two, according to circumstances." . . . .