Ostende den 25 Oktober.