— OSTENDE den 25 juli.