å 5,000 gulden ( 7 , 500 kr ).