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