Lederpolierwerkzeug, spitzer Kopf, für Schneidwerkzeuge, Zimmerei,