20 : 07 ; d:o på Paris 79 : 30 ; d:o på Amsterdam 166 : 80 ; d:o på Berlin 98: