20 : 12 ; d:o på Paris 79 : 80 ; d:o påAmsterdam