Yes etherdelta got all these coins (13,5%), as seen on
etherscan.
The problem that occurred is that the snapshot was not taken at the exact announced block.
Several holders including me did move their old eBTC token out of EtherDelta before block #4462000 and still didn't get the new eBTC.
Now they are planning through their telegram channel to treat these cases one by one and the deadline to report it was today 12pm CET.
Still the address in charge of transfering new tokens
0x634791bc3ebfe922a257f0355880309f8ac19dd4 did not perform any transaction since 9 hours ago.
I am waiting to see if they will correct this quickly.