19 ; d:o på Paris 79 : 80 och d:o på Amsterdam166