— OSTENDE den 20 Juli.