mintillwerkningspersonalens aflöning med 4,000 kr.