"punched card" Deutsche bedeutung