"sudo apt-get remove --purge tor" I think that did the trick; thank you. :-)
"Do you really use Abrowser and not Icecat?"I had Icecat installed some time ago and removed it again afterwards. Maybe tor was just an artifact from that older installation.
