User-agent:
Mozilla/5.0 (X11; Linux x86_64; rv:8.0) Gecko/20111124 Thunderbird/8.0
Ich weiß nicht mehr genau wer das Problem festgestellt hatte, ich habe
jetzt aber die Zeichenkette gefunden und zurückgesetzt. Der Eigenname
bleibt somit (zumindest in Precise) Englisch.