Danke, das hilft (bzw. hat schon).
Zur Verteidigung meiner Google Skills: es hängt wie immer vom Suchbegriff ab, und "User agent Browser ändern" brachte zwar 45.000 Treffer, aber vorn nichts Deutsches.
Den Mozilla-Link hatte ich nur angelesen, aber als ich was von Firefox 9 gelesen habe, aufgehört. Aber auch Archäologie soll ja manchmal Resultate bringen ("Dieser Artikel wird nicht länger gewartet, darum ist dessen Inhalt möglicherweise veraltet").
Jedenfalls danke für die wirklich rascheste Hilfe in einem Forum, ihr seid spitze!
2002Andreas: sorry, ich bin wohl irgendwann einem der 1537 Artikel in irgendeiner Zeitschrift gefolgt, die eine Anonymisierung besser fanden. Und dass das Problem genau darin lag (erzeugt durch ein Tool), habe ich ja nicht in Kauf genommen, sondern zu diesem Zeitpunkt gar nicht gewusst. Immer schon Ursache und Wirkung trennen... :wink: