gulden , tillsammans omkring 525,000 kr.