skall allt arbete hvila den 1 maj , alla verkstäder stå tomma och dagen hafva karaktären af helgdag ,och