private void SetIDFree() { do { id_spiel = id_spiel_zähler; id_spiel_zähler++; } while (!Dart.IsSpielIDFree(id_spiel)); }