slut , den 1 Juni 1677 , lät Kristian den 5:te med verkligt mynt inlösa alla dessa utgifna nödmynt.