Eurex solucionado.

Ya de nuevo, a las 13:30 horas, se ha solucionado el problema con eurex. De nuevo a la normalidad.