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