OSTENDE den 23 juli.