Just for the records: I upgraded my Ubuntu to 18.04.1, running the kernel 4.15.0-36-generic, and the problem disappeared.
Just for the records: I upgraded my Ubuntu to 18.04.1, running the kernel 4.15.0-36-generic, and the problem disappeared.