antaga den 1 maj som allmän arbetare-festdag.