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