dans [De Nederlandse vlag wordt meegedragen; ook zijn Nederlanders - bestuurders?marinepersoneel?- onder de aanwezigen]