var leaderid = getLeaderID();
Liefert die aktuelle LeaderID zurück, derzeit konstant 0, aber als Vorbereitung für eine etwaige Erweiterung gedacht.