Ostende den 3 Okt.