» » ( Berlin ) .... 88 : 20 100 Francs ( Paris ) 71 : 15 » » ( Antwerpen ) 71 : 05 100 Gulden ( Amsterdam ) 148: