Och det är Europas lycka.