Lederkantenschneider, Professionelle Lederwerkzeuge, Lederschneider, Lederh7870