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