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