» ( Berlin ) 88 : 05 100 Francs ( Paris ) 71 :—