Sudden problem with Google filters in Firefox

[flyingbeetle]

One addition to point 1: I have Firefox 15 on a different machine (Windows XP, although I am not sure, whether the OS matters in this case) with nearly the same settings and add-ons and I haven't the problem there, even with the older User-Agents.ptxt. But that's now really everything I know. Thanks again!