Ösenlochstanzwerkzeug, 10-mm-Ösenstanzer für Lederhandwerk