JEDI.DE is trading at $80.90, up 5.0% versus the comparison close of $77.03 during regular trading. This is a price-movement alert; no separate company-specific catalyst was searched for this follow-up.