en stående gendarm-post i Ostendes hamn.