Überdeckungskompaktheit