5 Rundlocheisen, Locheisen, Werkzeug DDR, Größe 10mm