världen äro bestämda att hållas den 1 maj för en normalarbetsdag på 8timmar