Manuelle Doppelkopf-Ösenmaschine, Stanzmaschine, Banner-Ösenmaschine, Ösenloch-Stanzmaschine