蒂森克虏伯股价迅速下跌，跌幅高达 4.7%。