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