Was ist ein Grabstichel, denn anders wie der Name vermuten lässt, wird er nicht im Garten eingesetzt?

Grabstichel bezeichnet

• ein Sternbild des Südhimmels
• ein Gravierwerkzeug zur Metallbearbeitung, das unter anderem im Kupferstich verwendet wird