<div>Bernhard, I'm afraid it gets nasty, but, anyway, I installed the package gnome-shell-dbgsym, systemd-coredump, then rebooted, then stored the outputs of 'dmesg', 'journalctl --no-pager', 'coredumpctl info', and the file /var/lib/systemd/coredump/core.gnome-shell.117.070a923b6f474dada3645eeb67710dc3.899.1579215018000000.lz4.</div><div>They are all attached to this e-mail.</div>