Kurzarbeit für zehntausende Daimler-Mitarbeiter