"milling tool" Deutsche bedeutung