riksmark och 9 000 francs.