gulden ( 6 , 230 , 000 kr. ).