[18:41] <PatrickBic> is gnome3 in den standard  repos von ubuntu?