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