Hm, das war vielleicht ein ergänzendes oder inoffizielles Schild? 

Bzgl. jetzt ist eh kein Zweifel, es geht nur um den Eintrag eines old_name. Als solcher wär allenfalls Laxenburger Allee, wie die Station bis vor ca 30 Jahren hieß möglich, aber da das sehr lange her ist und heute kein Bezug mehr auf den ist, würde ich den nicht eintragen.