Maßstruktur erweitern

(1) neuer Folgepunkt