Dear Bernhard, As to what happens with nomodeset, I posted another bug report against gdm3: http://bugs.debian.org/950504. There, we probably won't have to deal with a gnome-shell segfault and Mesa issues that we have to deal with here.
Best regards, Md Ayquassar
