The problem is solved in the latest update. The update included a new version of the package python-zmq, which is now in version 17.0.0-1. I assume that this contained the fix. Best wishes, Martin