MDLUL/kompakte Teilmengen