a small program converting a DGF file into a DGF file
a small program converting a gmsh file into a DGF file