Hi Ludo,
that is a very good question - I have no way of checking these currently. Tradestation introduced EUREX data recently, so I am just having a look at the moment.
However, if you are into the high-frequency scalp-like-a-monkey(tm) thing, I wouldn't recommend Tradestation if you are...