Start the laptop PC with an older Kernel (e.g. 4.4.0-112; if you start with 4.13.0-32, you would have to edit Kernel parameters in the GRUB boot menu).
With »sudo xed /etc/default/grub« I edited some lines in /etc/default/grub to: