2013-08-20: fixed that the programm would not exit because a threadpool was not shutdown correctly and other issues
head/end of development