Hi Joerg, so that was likely a video driver problem. If the same problem does return at some point then a video driver update may be a good thing to try.

- Michael