— OSTENDE den 7 Juli.