Ostende den 9 Jun.