@vectorglobe Ja, Vivaldi ist auch toll. Und ich glaube, die haben auch noch nie etwas Zwielichtiges gemacht. Kann man ja auch so einstellen, dass er fast so wie Opera ist. Was umgekehrt nicht geht. Habe im Moment beide im Einsatz.
Auch ein schönes Wochenende und ein frohes Pfingstfest!