Personnel change at the Budapest Stock Exchange