Seems to me those are the funds from the hot wallet: http://www.coindesk.com/bitstamp-claims-roughly-19000-btc-lost-hot-wallet-hack/

On another note, where did this statement come from? Was it made directly to Coindesk at CES maybe?