Hade således de alldeles nyakompakta