Welche Mitarbeiter zählen bei Kurzarbeit?