Ich habe einen HPC-berechtigten Account am RRZE, bekomme aber keine Mails,
die über den Verteiler für HPC-Kunden gehen.