市场消息：保时捷可能再裁员4000人。