OSTENDE den 19 juli.