The people of Brazil didn’t get much for hosting the World Cup, other than a bad economic deal and a couple of existentially gruesome national sporting humiliations. They did get a few extra days off—but even those, alas, aren’t free. Industrial output in Brazil likely edged up in July as factories tried to make up…