§ 9 Einführungsgesetz zum Bundesgesetz über die Arbeit in Industrie, Gewerbe und Handel (Arbeitsgesetz) - Feiertage

1. Gemäss § 3 Abs. 2 des Gesetzes betreffend die öffentlichen Ruhetage sowie die Ladenschlusszeiten der Verkaufslokale an Werktagen (Ruhetags- und Ladenschlussgesetz) vom 13. Oktober 1993 gelten Neujahr, Karfreitag, Ostermontag, 1. Mai, Auffahrt, Pfingstmontag, Weihnachtstag und Stephanstag als Feiertage im Sinne von Art. 18 Abs. 2 des Bundesgesetzes über die Arbeit in Industrie, Gewerbe und Handel vom 13. März 1964.