» » ( Berlin ) 88 : 30 100 Francs ( Paris ) 71 : 35.