Orientierungssätze: 1. Der kurzarbeitsbedingte Ausfall ganzer Arbeitstage führt zu einer Neuverteilung der Arbeitszeit, infolge deren der Urlaub entsprechend § 3 Abs. 1 BUrlG neu zu berechnen ist. Die aufgrund der Kurzarbeit ausgefallenen Arbeitstage sind bei der Berechnung des Urlaubsumfangs nicht Zeiten mit Arbeitspflicht gleichzusetzen (Rn. 18). 2. Das Unionsrecht gestattet die Anwendbarkeit des pro-rata-temporis-Grundsatzes bei der Berechnung der Urlaubstage auf Fälle der Kurzarbeit auch dann, wenn die Kurzarbeit nicht individualvertraglich, sondern durch Betriebsvereinbarung eingeführt wurde (Rn. 43). 3. Wird Kurzarbeit durch eine Betriebsvereinbarung eingeführt, muss diese die sich daraus ergebenden Rechte und Pflichten so deutlich regeln, dass sie für den Arbeitnehmer zuverlässig zu erkennen sind. Dazu sind mindestens die Bestimmungen von Beginn und Dauer der Kurzarbeit, die Regelung der Lage und Verteilung der Arbeitszeit sowie die Auswahl der betroffenen Arbeitnehmer erforderlich (Rn. 48).