Need help converting GMSH to FEniCS

There are various posts covering this, for instance