OSTENDE den 13 juli.