20 : 32 ; d:o på Paris 80 : 05 ; d:o påAmsterdam