Vermutlich bin ich da nicht alleine. Opera lässt sich seit einigen Tagen bei mir nicht mehr per apt repository installieren/aktualisieren. Der Server kann nicht erreicht werden. Weis da jemand mehr?