private void SetIDFree() { do { id_wurf = id_wurf_zähler; id_wurf_zähler++; } while (!Dart.IsWurfIDFree(id_wurf)); }