— OSTENDE den 15 Juli.