thread_pool_barrier gefixed
Merge branch 'master' of https://github.com/1ploss/UHH-HLR2013