Leitsatz

Haben die Tarifvertragsparteien die Anzahl der Jahresurlaubstage nach der Verteilung der regelmäßigen Arbeitszeit auf fünf Tage in der Kalenderwoche bemessen, so erhöht oder vermindert sich bei einer abweichenden Verteilung die Anzahl der Urlaubstage je nach dem, ob die regelmäßige Arbeitszeit des Arbeitnehmers auf mehr oder weniger Tage der Kalen-derwoche verteilt worden ist.