某涵洞的截面边缘成抛物线形，现测得当水面宽AB=2米时涵洞的顶点与水面的距离为4米，这时离开水面2米处涵洞宽DE是多少？