private void SetIDFree() { do { id_set = id_set_zähler; id_set_zähler++; } while (!Dart.IsSetIDFree(id_set)); }