tjenstgöringspenningar , 3 bergmästare med 7,500 kr.