20 : 31 , d:o på Paris 80 : 30 , d:o påAmsterdam