Isomorphiesatz für modulare Verbände