Translation of "Leihwerkzeug" in English