This tutorial is based on https://wiki.ubuntuusers.de/Smart_Cards/ . The following packages are required:
Now, the data of the respective Debian package from https://intranet.tu-ilmenau.de/site/unirz/Freigegebene%20Dokumente/ITSD/ has to be unpacked. The location is determined by the folder structure within the archive.
/usr/lib/pkcs11/libgtop11dotnet.so
Prerequisite: Boost >= 1.57 or apply this commit manually.
/usr/lib/pkcs11/libgtop11dotnet.so
In the AUR there is the package libgtop11dotnet. The setup in Firefox is the same as in Gentoo.