uppgick till cirka 19,400 Pund , 192,000 Riksmark och 1,000 Francs , tillsammans omkring 520,000 kronor.