Technical dictionary of production engineering : German-English - Walther, Rudolf (Pergamon Press, 1972)