20 : 25 ; d:o på Paris 80 : 50 ; d:o påAmsterdam