Translation of "Mandrel mill" in German