Detlev, please attache your logs to this bug instead:
ttps://bugs.freedesktop.org/show_bug.cgi?id=77009

It's essentially a different problem and I want to keep it separated from the
discussion here.

Thanks,
Christian.