Added exception-handling to all destructors to avoid possible terminate in C++11