"punch card, punched card" Deutsche bedeutung