Translation of "Werkzeugeigentum" in English