härvid , att denkompakta