Danke zunächstmal für die Tipps. Leider tritt das Problem auch nach einem Neustart auf, zwar nicht sofort, aber dann im Verlauf des Arbeitens/Spielens. Wir überlegen gerade, das System neu aufzusetzen, weil es scheinbar (in massigen Threads zahlreicher Foren) nicht zu beheben ist.

Marco

...zur Antwort