( Berlin ) 88 : 15 100 Francs ( Paris ) 71 : 40,