— Ostende den 23 Juli.