Der deutsche Leitindex erholt sich von seinem jüngsten Rücksetzer. Die letzte Rekordmarke ist aber schon deutlich entfernt.