gulden , tillsammans omkring 715,000 kr.