— OSTENDE den 19 Juli.