för en summa af 15,800 rdr riksmynt.