Nichts gegen Opera als Browser, aber manchmal ist der wirklich zickig. Dann klappt plötzlich keine Namensauflösung mehr, und das einzige, was hilft, ist das Beenden und neu Starten von Opera. Natürlich passiert so etwas nur dann, wenn man es gerade gar nicht gebrauchen kann.