— Ostende den 16 Maj.