"2018-03-07T12:41:26"^^ . "punch (cutting tool)"@en . . . "Tools, usually hand-held or hand-powered, having a sharp edge, used for punching out holes or designs in paper or other such materials. Punches are standard office supplies and used in papercrafts and leather crafts. For punches having a shaped tip at one end and struck by a hammer, designed to make an indentation rather than cutting out holes or shapes, use \"punches (marking tools).\""@en . "punches (cutting tools)"@en . "Werktuig voor het maken van ronde gaten in o.a. leder. Het is een metalen buis met scherpe randen. De doorsnede varieert van enkele millimeters tot enkele centimeters. Men legt een stuk leder of ander materiaal op een houten, loden of koperen steun om de snede niet te beschadigen. Vervolgens plaatst men de holpijp op de plaats waar men het gat wenst en slaat erop met een hamer."@nl . "2013-11-20T15:04:48"^^ . "holpijp"@nl . "holpijpen"@nl . . "300389696" . .