holgrufvearbetare ha blifvit nedsatta med 10 % ist.