user admin: allow searching for matriculation number and add matriculation number to export, fixes #4497

Jan-Hendrik Willmsrequested to merge
biest-4497 into main

Ich habe auch noch ergänzt, dass die Matrikelnummer im Export auftaucht. Dort fehlte sie noch.

Merge request reports