20 : 24 ; d:o på Paris 80 : 55 , d:o påAmsterdam