för dansk hafva varit 1 kr.