11-01-2021, Monday-21:39:33
Da war tatsaechlich ein Fehler drin, sollte in r9551 behoben sein. Da wurde zu zeitig abgebrochen ohne alle passenden Rotationen probiert zu haben. Sollte sehr selten auftreten. Den Bug habe ich vor 5 Jahren eingebaut
