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