General Patton's Punch Cards: A short history of Mobile Machine Records Units and IBM Punch Card Machines in World War II 15,39 EUR*