72 10 72 : 20 » ( Antwerpen 71 40 100 Gulden (Amsterdam