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