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