OSTENDE den 9 juni.