Wie viele Firmen haben Kurzarbeit in Deutschland?