OSTENDE den 15 juli.