hello. i would like to know how to export STL file. there is STL_DCE format, but i don't know, if it's the right STL for 3d printing.