— Ostende den 12 Juli.