einkerbend	notching
Ausklinkwerkzeug {n} Ausklinkwerkzeuge {pl}	notching tool, notching die notching tools, notching dies