» ( Berlin ) 88 : 25 100 Francs ( Paris ) 71 : 25 ( Briissel ) 71 : 15 100 Gulden(