Uroczystość przemianowania stacji metra Ratusz na Ratusz Arsenał