Translation of "Halbwerkzeug" in English