1. Das Reichsgesetz vom 10. April 1933 benannte ihn als „Tag der nationalen Arbeit“.

    1934 wurde der 1. Mai durch eine Gesetzesnovelle zu einem „Nationalen Feiertag des deutschen Volkes“  erklärt.

(https://de.wikipedia.org/wiki/Erster_Mai  Zugriff 25. Mai 2021)