uppgick till cirka 7,500 pund , 83,000 riksmark och 65,000 franc , utgörande tillsammans omkring 255,000 kronor.