Until further notice: Mailroom does not work. Replies to git-generated emails will be silently ignored!
https://zid-ts.uibk.ac.at/browse/EEXAMS-100160