Ostende den 25 oktober.