Thanks for the hint, Emmanuel.
Of course I tried several Force Quit options as described in your post before shutting down the system. In earlier cases, this was also useful, but not the last time... [:-?]