Hier finden Sie ein Glossar in den Sprachen deutsch, englisch und niederländisch.

Schneidwerkzeug Cutting tool	Es gibt verschiedene Arten von Schneidwerkzeugen. Das Standard-Schneidwerkzeug ist der Rundschaftmeißel mit Hartmetallspitze. Außerdem gibt es PKD-Meißel (PKD = Polykristalliner Diamant).