The problem is solved.
Someone suggested I was logged in at the GUI.
So I launched the GUI (power icon at the right upper corner of the
screeen), hit my login name, which opened a pull down menu "logout".
I hit that one and subsequently the problem never occurred anymore.
Peter