Hallo "user", ja , das bist Du. Und ich dachte, das hier ist auch gleichzeitig die Antwort an Dich. Ich glaube, nach Deiner Begründung ist viel mehr für die Umbennung der Artikel gar nicht mehr vonnöten. Nur noch ein bisschen abwarten, ob jemand gewichtiges dagegen einzuwenden hat. Ich glaube aber, dass nicht. Gruß vom Ruhestand zum Ruhestand! -- Bleckneuhaus 19:40, 20. Feb. 2023 (CET)