skulle lönen för en bergmästare utgöra 2 500 ochtjenstgöringspenningarna