Ahja gut danke. Das Problem hatte sich zwar dadurch gelöst, daß Opera abgestürzt ist und ich zwangsweise neustarten musste, aber gut zu wissen, wie man das Problem bei einem nochmaligen Auftreten beseitigen kann ^^