MDLUL/kompakten Teilmengen (überdeckungskompakt)