“Clearly, industrial policy—the deliberate and coordinated governmental support of industries—is coming back, even if it is not clear yet where it will end up.”