Ostende den 12 maj.