, ( Berlin ) 88 : 15 89 : 05 89 : 20 100 Francs ( Paris ) 71 : 40 72 — 72 : 05 » ( Brussel ) 71 : 2571