Hauptquelle · Grimm (DWB, 1854–1961)
gravieren vb.
gravieren , graviren , vb. eine zeichnung, ein ornament oder schriftzeichen in ( edel- ) steine, ( edel- ) metalle oder glas einschneiden, eingraben oder auch erhaben ausarbeiten. aus frz. graver (15. jh., Littré 1, 2, 1924 c ), das seinerseits ein lehnwort aus germ. * graban ist, s. dazu zuletzt Corominas diccionario cr. et. de la lengua castellana 2, 761 f. zur bildungsweise s. unter 1 gravieren. es vergleichen sich mnl. graveren ( Verwijs-Verdam 2, 2119 ), nl. graveeren ( woordenboek 5, 617). ob das germ. wort auch den gebrauch eines mlat. gravare ' sculpere ' ( du Cange 4, 106 a ) veranlas…