Gas explosion Ostend: no new victims