question: Thành Thăng_Long còn có tên gọi nào khác
title: Hồ Hoàn_Kiếm ( phố Hà_Nội )
text: Thời_Pháp thuộc , phố có tên là Phi-lác-mô-ních ( " rue de la Philharmonique " : phố Hội Nhạc ) , là tên một điểm ca_nhạc và chiếu_bóng lúc đó , nay là nhà_hát múa_rối Thăng_Long .