» { Berlin } 88 : 35 89 : 00 89 : 10 .00 Francs { Paris ) 71 : 50 72 : 15 72 : 25 & gt;