Der 1. Mai war schon Feiertag in der BRD als es die DDR noch gab, ist also kein übernommener Feiertag.