som bestämdes till 15 millioner riksdaler riksmynt , är redan idet