如图，在边长为4的正方形ABCD中，点E是CD边上的一点，点F是点D关于直线AE对称的点，连接AF、BF，若tan∠ABF＝2，则DE的长是（    ）

A、1

B、

C、

D、