Confirmed: Prague stock exchange to be sold