Ostende , den 31.