Ostende , den 2 Decemb.