gulden ( deraf 9 000 pund , 45 000riksmark