 What's your view on this? Is Europe going to follow the U.S. line on China or approach China differently? I guess that's the big question of today, right? We dodged the bullet the first time in 2017 when the U.S.-China rivalry was really at its peak. And now we have again a moment of choice.