I figured out that the destructor of a StlMesh_Mesh is very slowly. It takes about one or two minutes till it is finished.
In this thread http://www.opencascade.org/org/forum/thread_24440/?forum=3 there is exactly the same problem with another class, but no solution was posted.
Is there a way to make the destructor faster? Why is it so slow at all?