» ( Berlin ) 88 : 20 88 : 85 88 95 100 Francs ( Paris ) 71 : 45 72: