Die Arbeitszeit ist gesetzlich zu regeln.
Das Arbeitsentgelt ist für die Feiertage zu zahlen, die durch das Gesetz bestimmt werden.
Jeder Arbeitnehmer hat Anspruch auf bezahlten Urlaub.