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