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