oh, echt? ich wusste nicht das solche filter
langsamer sind als einzelne eingetragene.
aber warum muss das $document
unbedingt am ende stehen? es geht
auch ohne oder? aber wenn es natürlich
so sein muss "@@|http://*.ebay.de/$document"
werde ich es auch so eintragen. danke!