tyska mark och 22,431 francs.