stämpla tecken eller gravera namn—