det sedan gammalt varit brukligt i flera land att fira den 1 maj som högtidsdag , som ett slags inledning till sommaren ,en