Ostende , den 12.