Mieszkańcy miasta, przynajmniej tacy co bardziej zorientowani, z pewnością znają to miejsce jako "gazownia", w moim odczuciu nazwa pozostaje, jak pisałem wyżej, "w użyciu". 

Jeśli sądzicie, że częściej określa się ten teren inaczej, można dać gazownię do old_name, nie będę krzyczał.