Nachtrag : Unabhängig von der noch zutreffenden Entscheidung, ob wir diese Infos im Artikel belassen wollen - oder nicht, habe ich den Artikel und besonders die Einfügung und den zugehörigen Beleg zumindest formal überarbeitet. -- Muck 19:16, 26. Jun. 2023 (CEST)