Start=endlich (Maß)

MDLUL/endlich (Maß)

Ziel=Prämaß/Sigma-endlich/Definition