OSTENDE den 31 juli.