Lederkantenschneider, Professionelle Lederwerkzeuge, Lederschneider, Lederh3275