guldmynt , hvilket alltsså ökats med 752,000 kr.