Tube mill
Tube mill - in den lateren tijd ingevoerde vergruizingsinrichting voor ertsen, bestaande uit aan de binnenzijde met ijzer of steen bekleede lange cylinders, gedeeltelijk gevuld met rolsteenen van kwartsiet of ander hard materiaal. De cylinders worden in langzame draaiing gebracht, het erts met water aan de eene zijde toegevoerd, aan de andere zijde...
