uppgick till cirka 11,800 pund , 142,000 riksmark , 88,000 francs och 9,000 holl.