Hallo Martin,
danke für deine Hilfe. Dein dritter Link hat mich auf die Spur gebracht: Es war das DivX Plugin.
Ich hatte auch die Sicherheitswarnung auf https-Seiten, die in deinem zweiten Link beschrieben wird. Die ist jetzt auch weg.
Nochmals danke,
Martin aus Wien