Paris 72 : 05 — — 71 : 32 Amsterdam.