Ich bin verwundert über die Benennung der Halle. Als "Peter-Behrens-Halle" kenne ich diese hier: https://www.openstreetmap.org/way/26410648
Quelle z.B.: https://www.tu.berlin/bau/forschung/infrastruktur

Der Name der Halle am markierten Standort wurde im Laufe  der Jahre mehrmals geändert, z.B. auch hier: https://www.openstreetmap.org/way/35467228/history/11

Meines Erachtens sollte man diese hier in "AEG Turbinenhalle" umbenennen. Als Architekt kann man dann Peter Behrens angeben. Die Bezeichnung "Peter-Behrens-Halle" findet sich bei "offiziellen" Quellen hierfür nicht. Z.B.:
https://www.visitberlin.de/de/aeg-turbinenhalle
https://industriekultur.berlin/ort/aeg-turbinenhalle/
https://denkmaldatenbank.berlin.de/daobj.php?obj_dok_nr=09050365
https://www.siemens.com/de/de/unternehmen/konzern/geschichte/stories/turbinenhalle.html
https://www.berlin.de/sehenswuerdigkeiten/3560168-3558930-aeg-turbinenhalle.html
https://bauhauskooperation.de/wissen/das-bauhaus/werke/architektur/aeg-turbinenhalle-berlin

Meinungen dazu?

Ich würde, wenn niemand mit Belegen widerspricht, diese Halle wie vorgeschlagen umbenennen und zusätzlich dem TIB-Gebäude 15 der TU Berlin (siehe link oben) den Zusatznamen "Peter-Behrens-Halle" geben.