mintillverkningspersonalens aflöning , hvilket innehar en ökning med 4,000 kr.