Start=endliche (sigma)

MDLUL/endliche (sigma)

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