Berlin 89 : 05 — — Paris 72 : 05 — — — — Amsterdam.