Ostende den 13 Dec.