adding stl-export