"card punch" Deutsche bedeutung