( Berlin ) ... 88 : 20 89 : 15 100 Francs ( Paris ) 71- 75 72 : 45 ( Antwerpen ) 71 : 65 72 : 40 100 Gulden Amsterdam ) 148: