Ostende den 9 Juli.