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