Ja, auf den ersten Blick sieht das doppelt aus und wirkt dementsprechend redundant, aber sicher bin ich mir dabei nicht. Bevor die Formulierung geändert wird, sollte das Archiv nach der damaligen Diskussion durchforstet werden, denn darüber wurde diskutiert. -- Benatrevqre 22:03, 13. Dez. 2020 (CET)