Ostende , den 15 Junit '.