medelportots nedsättning till 10 öre riksmynt.