- Ostende den 10 Juli.