Habe diese gerade zusammengeführt, aber das Ergebnis ist etwas unübersichtlich, sorry. Zumindest ist dieser langjährige Bug jetzt behoben (habe ihn auch bemerkt, aber nie dazu gekommen, ihn zu melden).
1 „Gefällt mir“