Puncher

Puncher [< engl.]: 
Fertiger von Lochkarten zur Steuerung von Stickmaschinen (19. Jh.).