The `user` name given above is what ldap calls the “common name” (CN). Together with a path in the LDAP directory, we can build the “distinguished name” (DN). The DN is used to uniquely identify the user, so we need it quite often.
*[`portal/ldap/Directory.py`](https://gitlab.cl.uni-heidelberg.de/fachschaft/portal/-/blob/master/ldap/Directory.py?ref_type=heads): LDAP implementation for another project from which I self-plagiarized many of the instructions here