chore(mail): add i18n for mail receivers view

src/Handler/Profile.hs

@@ -1467,38 +1467,7 @@ getUserRecipientsR uuid = do
       usrWgt = userWidget usr
       hasPwd = isJust $ usr ^. _userPinPassword
   siteLayoutMsg heading $ do
-    setTitleI heading -- TODO: translate to i18nWidgetFile
+    setTitleI heading
-    [whamlet|
+    $(i18nWidgetFile "user-receivers")
-      <section>
-        <p>
-          Benachrichtigungen für ^{usrWgt} ^{widgetMailPrefPin usr} #
-            $if usrReceives
-              gehen #
-              $maybe _ <- mrtbl
-                ebenfalls an die unten aufgeführten Personen:
-              $nothing
-                nur an diese Person selbst.
-            $else
-              $maybe _ <- mrtbl
-                gehen tatsächlich nur an die unten aufgeführten Personen:
-              $nothing
-                werden momentan an niemanden zugestellt!
-        $maybe tbl <- mrtbl
-          <p>
-            ^{tbl}
-          <p>
-            <h4>
-              Hinweise:
-            Mit welchem Passwort PDF Anhänge geschützt werden, hängt von der Nachricht ab. #
     
-            Zum Beispiel werden Pin Briefe für ablaufende Qualifikationen #
-            $if hasPwd
-              mit dem Passwort von ^{usrWgt} geschützt. #
-            $else
-              nicht geschützt, da kein Pin Passwort gesetzt ist. #
-
-            Für andere Benachrichtigungen wird meist das Passwort des tatsächlichen Empfängers gewählt, sofern eins gesetzt wurde.
-
-            Die Voreinstellung für das PDF Passwort ist die Hauptausweisnummer, inklusive Punkt.
-    |]
 

templates/i18n/user-receivers/de-de-formal.hamlet

@@ -1,3 +1,10 @@
+$newline never
+
+$# SPDX-FileCopyrightText: 2025 Steffen Jost <jost@tcs.ifi.lmu.de>
+$#
+$# SPDX-License-Identifier: AGPL-3.0-or-later
+
+
 <section>
 <p>
     Benachrichtigungen für ^{usrWgt} ^{widgetMailPrefPin usr} #
@@ -17,8 +24,8 @@ $maybe tbl <- mrtbl
         ^{tbl}
     <p>
         <h4>
-        Hinweise:
+            Hinweis:
-    Mit welchem Passwort PDF Anhänge geschützt werden, hängt von der Nachricht ab. #
+        Mit welchem Passwort PDF Anhänge geschützt werden, hängt vom Nachrichtentyp ab. #
 
         Zum Beispiel werden Pin Briefe für ablaufende Qualifikationen #
         $if hasPwd

templates/i18n/user-receivers/en-eu.hamlet

@@ -0,0 +1,36 @@
+$newline never
+
+$# SPDX-FileCopyrightText: 2025 Steffen Jost <jost@tcs.ifi.lmu.de>
+$#
+$# SPDX-License-Identifier: AGPL-3.0-or-later
+
+
+<section>
+<p> 
+    Notifications for ^{usrWgt} ^{widgetMailPrefPin usr} # 
+    $if usrReceives         
+        $maybe _ <- mrtbl 
+            are also sent additionally to the following persons: 
+        $nothing 
+            are received only by them. 
+    $else 
+        $maybe _ <- mrtbl
+            are only sent to the following persons instead: 
+        $nothing
+            are currently not delivered to anyone! 
+$maybe tbl <- mrtbl
+    <p>
+        ^{tbl}
+    <p> 
+        <h4>
+            Note:
+        The password used to protect PDF attachments depends on the message type. #
+        For example, pin letters for expiring qualifications #
+        $if hasPwd
+            are protected by the password of ^{usrWgt}. #
+        $else
+            are not protected, since ^{usrWgt} has no Pin password set. #
+
+        For other notifications, the password of the actual recipient is usually chosen, if a password has been set.
+
+        The default PDF password is their main ID card number, including the period.