MDLUL/abzählbare Menge