如图，在长方形ABCD（长方形四个角都是直角，并且对边相等）中，DC= 5．点E在DC上，沿AE折叠△ADE， 使D点与BC边上的点F重合，△ABF的面积是30，求DE的长．