нем. Grabstichel, от graben, копать, рыть, и sticheIn, колоть. Резец для гравирования.
(Источник: «Объяснение 25000 иностранных слов, вошедших в употребление в русский язык, с означением их корней». Михельсон А.Д., 1865)
ГРАБШТИХЕЛЬ, ГРАБШТИХстальной резец для вырезывании рисунка на дереве, металле, камне и т. п.
(Источник: «Полный словарь иностранных слов, вошедших в употребление в русском языке». Попов М., 1907)
то же, что штихель.