gulden , tillsammans omkring 425,000 kr.