OSTENDE den 22 juli.