barnen får 73,000 riksdaler på sin del och enkan lika mycket som dessa tillsammans.