gulden ( deraf 10 900 pund , 9 000riksmark