Ostende den 22 Maj.