25 ; d:o på Paris 80 : 40 ; d:o påAmsterdam