Definitions

[1] Diamantbohrer, mit schwarzen Diamanten an der Spitze besetzter Bohrer (für das Perforieren von Felsen benutzt)