CSV Export

Der CSV-Export sammelt alle angezeigten Benutzer und gibt eine CSV-Datei mit diesen Benutzern zurück. Die Filteroptionen werden dabei beachtet.