I just found and fixed the bug. It was a clean up routine designed for coop deathstar, that would reset the game, if there is no member of the coop team for 10 minutes.
The bug was, that first, the routine didn't check, if it was in coop mode. And second, much more seriously, that the timer on...