mannens arbetstid vid grufverken , och pen sionssumman ökas med 12 gulden för hvarje barn,