* * Ostende den 9 juli.