"ball mill" Deutsche bedeutung