öre till mintillverkningspersonalcns aflöning , hvilket innebar en ökning med 4,000 kr.