Germany’s industry: the most important facts and figures