uppgick till cirka 11,800 Pund , 234,000 Riksmark och 158,000 Francs , tillsammans omkring 535,000 Kronor.