till minwäsendet och mintillwerkningspersonalen 128,000 kr.