§ 5.Paragraph 5,

Dem/der Arbeitnehmer/in gebühren in jedem Jahr außerdem ein Urlaubszuschuss in der Höhe der für den Monat Mai gebührenden Entlohnung und eine Weihnachtsremuneration in der Höhe der für den Monat November gebührenden Entlohnung; mindestens jedoch ein Urlaubszuschuss und eine Weihnachtsremuneration in der Höhe von einem Zwölftel des Jahresbezuges. Der Urlaubszuschuss ist bei Antritt des Urlaubes, spätestens jedoch mit der Auszahlung des für den Juni zustehenden Lohnes auszuzahlen. Die Weihnachtsremuneration ist spätestens bis zum 30. November eines jeden Jahres auszuzahlen. Beginnt oder endet das Dienstverhältnis während des Kalenderjahres, so gebühren dem/der Arbeitnehmer/in Urlaubszuschuss und Weihnachtsremuneration entsprechend der in diesem Kalenderjahr zurückgelegten Dienstzeit anteilsmäßig.