Geji Leder-Walnuss-Gürtelschneider, Gürtelschneidewerkzeug, Lederwerkzeuge