I'm trying to track the futures UK FTSE 100... I'm not quite familiar with which exchange I need in order to track this in real time and is there such thing as a futures mini UK FTSE 100?