MDLUL/kompakte Konvergenz