DK-GEORGMOHR 2019 Problem 5

In the figure below the triangles $BCD, CAE$ and $ABF$ are equilateral, and the triangle $ABC$ is right-angled with $\angle A = 90^o$ . Prove that $|AD| = |EF|$ .