hade begärts , att de den 1 Maj förnormalarbetsdagen