'WikiLeaks accidentally leaks cables that name sources'

German media reports file with original cables that name informants and intelligence agents, including Israelis, floating on Internet.