Verlin 89 : 25 Varis 72 : 10 — — Amsterdam.