Erstmal danke für den Input.
Habe mal im Internet recherchiert. Scheint ein bekannter Bug zu sein, der zuweilen Auftritt, dessen Auslöser allerdings unbekannt ist.
Im Quellcode ist dann irgendwas doppelt, was nicht doppelt sien sollte. So richtig krasse Informatiker können das wieder fixen...