Industrie erholt sich: Deutlich weniger Kurzarbeit im zweite