Stara nazwa stacji Ratusz Arsenał