Industrie schrumpft weiter – Baubranche minus neun Prozent