A proof of ETNC => BSD can be found here: Guido Kings http://www.uni-regensburg.de/Fakultaeten/nat_Fak_I/preprints/Preprints2009/26-2009.pdf