"Der Erste Mai wird als Tag der Arbeit, Tag der Arbeiterbewegung, Internationaler Kampftag der Arbeiterklasse oder auch als Maifeiertag bezeichnet. Er ist in Deutschland, Liechtenstein, Luxemburg, Österreich, Belgien, Teilen der Schweiz und in vielen anderen Staaten ein gesetzlicher Feiertag." - (de.wikipedia.org 08.09.2019)
de