After the installation of a different graphics card the problem is gone. The most likely cause is overheating problems in the previous card. My thanks to all for their assistance with this problem. I guess this bug report can be closed.