» ( Berlin ) 88 ; 25 88 95 89 : 05 100 Francs ( Paris ) 71- — 71 : 80 71 90.