Die komplette Liste aller User lässt sich über die API abrufen:

https://HOST/api/v3/users

Die Abfrage benötigt Administratorenrechte.

Vielen Dank für das schnelle Feedback. Das Ergebnis ist jedoch nicht sehr elegant und nicht unbedingt direkt zur weiteren Verarbeitung geeignet. Eine echte Liste ohne die ganzen Attribute und Gruppenmitgliedschaften wäre hilfreich, kann man die Ausgabe noch optimieren?

Auch das lässt sich hinkriegen, wenn man die Parameter des Aufrufs anpasst.

Als Filter setzt man dafür  [{ "status": { "operator": "=", "values": ["active"] } }]

Bei Bedarf ergänzt man noch die Auswahl mit select total,elements/name

Codiert wäre der Aufruf dann:

https://host/api/v3/users?filters=%20%5B%7B%20%22status%22%3A%20%7B%20%22operator%22%3A%20%22%3D%22%2C%20%22values%22%3A%20%5B%22active%22%5D%20%7D%20%7D%5D&select=total%2Celements%2Fname

Uncodiert lautet der Aufruf:

https://host/api/v3/users?filters=[{"status":{"operator":"=","values":["active"]}}]&select=total,elements/name

Das Ergebnis sieht dann so aus:

{
  "total": 1337,
  "_embedded": {
    "elements": [
      {
        "name": "Max Mustermann"
      },
      {
        "name": "Peter Lustig"
      }
      ...
      ]}
}

So bekommt man die Liste der Namen und die Anzahl aller aktiven User.

Wenn man weitere Nutzerdaten braucht, muss man im Einzelfall schauen, dass man die Werte bei "select" ergänzt. Die API unterstützt, soweit ich das sehen kann, aber nicht alle Werte. So kann man zum Beispiel die Mail-Adresse der User nur dann abfragen, wenn man keinen Select-Wert setzt. Dann werden aber wieder alle Eigenschaften eines Users abgefragt.

Falls das JSON dann immer noch nicht in der Form ausreicht, kann man mit Excel eine Auswertung auf das JSON machen. Dazu gibt es dann eine Reihe Tutorials online - ich glaube sogar direkt von Microsoft. Am Ende sollte dann eine Tabelle rauskommen.