Der deutsche Leitindex notiert nur rund 200 Punkte unterhalb seines Rekords. Derweil verlieren Aktien aus einer kriselnden Industriebranche deutlich.