ein kleiner Meißel; Gravurwerkzeug, Werkzeug zum Gravieren; gravieren, stechen, einschnitzen, meißeln