20 : 29 , d:o på Paris 80 : 35 , d:o påAmsterdam