Tag der Arbeit (§)

Der Tag der Arbeit ist in ganz Deutschland ein gesetzlicher Feiertag.