Several bugfixes:
Termination of ThreadPools ensured and some outputs redirected.