Der Tag der Arbeit ist ganz Deutschland ein gesetzlicher Feiertag.