gulden , tillsammans omkring 415,000 kronor.