Ostende d 31 maj.