OSTENDE den 10 juli.