Eurex is down at my firm here in London. Second time this morning.
You could try the IBIS TICK. It's based on the Xetra exchange. http://www.xetra.de/
Separate names with a comma.