Diamantstichel, Diamantwerkzeug, (токарный) Drehdiamant
(для изготовления дифракционных решёток) diamond cutter
diamond cutter, diamond stylus* * *diamond tool
utensile con diamante; punta di diamante
diamond scriber
outil diamanté
cuchilla de diamante, cortador a diamante
diamond-point cutter, diamond tool
diamond cutter, diamond stylus
diamond-tipped cutting tool
алма́зний різе́ць
• diamantový nůž