Seems so...
"Stop orders are only triggered upon reaching the stop limit. In this case they are automatically entered as market orders in the Eurex order book, where they are executed according to the price-time priority principle"
"If several market orders are booked in the order book...