only hashes stuff before @tu-dresden or @mailbox.tu-dresden to avoid double vote in case of aliases.
$mailHash = hash('ripemd160', strtolower(explode("+",explode("@",$empfaenger)[0])[0]));
$sem = sem_get(123, 1, 0666, 1);
if (sem_acquire($sem)) {
//critical section to avoid double vote in case of high demands
if(strpos($empfaenger, "mail.") === false and strpos($empfaenger, "@mailbox.tu-dresden.de") != false and !strpos(file_get_contents('../../.hMail.txt'), $mailHash)){
//nicht bereits abgesendet (kein hash match) und eine @mailbox addr.
$betreff = 'Formular: Lehrpreise';
$nachricht = "Hallo.\nHier ist die Umfrage für die Lehrpreis Wahl: https://bildungsportal.sachsen.de/umfragen/limesurvey/index.php/146778?newtest=Y&lang=de&authkey=".$token."\nVielen Dank für deine Beteiligung!\n\nHi.\nHere is the Link for the teaching award voting: https://bildungsportal.sachsen.de/umfragen/limesurvey/index.php/146778?newtest=Y&lang=en&authkey=".$token."\nThanks alot for your participation!";
$nachricht = wordwrap($nachricht, 80, "\r\n");
$header = 'From: fsr@ifsr.de' . "\r\n" .
'Reply-To: fsr@ifsr.de' . "\r\n" .
'X-Mailer: PHP/' . phpversion();
//mail senden
mail($empfaenger, $betreff, $nachricht, $header);
//hash speichern
file_put_contents("../../.hMail.txt", $mailHash."\n", FILE_APPEND);
sem_release($sem);
//Erfolgsmeldung
echo "Success, please check your mail.
Mail erfolgreich versendet.