20 : 30 ; k. s. 20 : 42 ; d:o på Paris p;