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