грабштихель

          – нем. [Grabstichel] – вид штихеля, стальной резец для гравирования.

(Словарь иностранных слов, 1937)
гр..