"paper tape puncher, reperforator" Deutsche bedeutung