Danmark knöde i sistnämnda fall få inköpa gnidgrammen för 15,80 men utgifva guldmyntgrammenför