Ostende den 12 Aug.