Lederkantenschneider, Professionelle Lederwerkzeuge, Lederschneider, Lederh8937