20 : 31 ; d:o på Paris 80 : — ; d:o påAmsterdam