Die deutsche Industrie hat im Oktober noch einmal einen Zahn zugelegt und ist so kräftig gewachsen wie seit Anfang 2014 nicht mehr.