Maßraum/Definition/Begriff