And there’s no question, I think, that much of the dynamism of the West German economy after 1945 comes from the expertise that builds up during the mass production of weapons during World War II.