Ostende den 20 maj.