myntpress för en kostnad af högst 9 500 kr.