Ostende , den 7 Julii.