Is there any eurex data service providing intraday realtime market statistics similar to NYSE $TRIN, $TICK, $ADV, $DECL? Thanks in advance. - Clearpicks