Announcement of the Budapest Stock Exchange on the halt of trading