Diamond Hammer (A)

A hammer or pick for “whetting” millstones. The diamond hammer is provided with several sharp-pointed teeth to give a uniform roughness to the surface of the stone. Also to a steel pick with diamondshaped point at each extrernity to recut grooves in stone.