Ostende , har den 16 Aug.