( Berlin ) ... 88 : 30 00 Francs ( Paris ) 71 : 20 ( Antwerpen ) 71 : 15 00 Gulden(