procent , under det arbetstiden blifvit nedsatt med 20 procent.