20 : 34 , d:o på Paris 80 : 25 , d:o påAmsterdam