har beslutit förlägga en beständig afdelning gendarmer i Ostendes hamn.