Спасибо вам (и Nachtwolf. естественно, тоже), не знал :)
>вот как раз 1 мая гос праздник и в тогдашней Германии
Что национал-социалисты настолько заигрывали со второй частью своего названия :)
Википедия подсказывает что назывался праздник у них «Днём национального труда» :)