191880 ⎘
Methods or arrangements for marking the record carrier in digital fashion by punching; Manually-controlled devices Tape punches