med bestämdhet , hvad maskinen kostat , men , 3g tror , att det var omkring 8,000 rdr.