Fix: Umlaute einbeziehen Funktionalität repariert

- HTML: name-Attribut und form-Attribut zur Umlaute-Checkbox hinzugefügt
- Backend: use_umlaut Parameter zur Form-Verarbeitung hinzugefügt
- Backend: Umlaute-Filterung in filter_words() Funktion implementiert
- Backend: use_umlaut Variable an Template weitergegeben
- JavaScript: applyFilters() Funktion für Umlaute-Checkbox erweitert

Die Umlaute einbeziehen Option funktioniert jetzt korrekt sowohl
auf Backend- als auch Frontend-Ebene.

templates/index.html

@@ -154,7 +154,7 @@
                     <fieldset class="filter-box" role="group">
                         <legend>Umlaute</legend>
                         <div class="inline-controls">
-                            <label><input id="filter-umlaut" type="checkbox" /> Umlaute einbeziehen (ä, ö, ü, ß)</label>
+                            <label><input id="filter-umlaut" type="checkbox" name="use_umlaut" form="search-form" {% if use_umlaut %}checked{% endif %}/> Umlaute einbeziehen (ä, ö, ü, ß)</label>
                         </div>
                     </fieldset>
                     <div class="results-box">
@@ -228,7 +228,7 @@
             var ot = document.getElementById('filter-ot');
             var wf = document.getElementById('filter-wf');
             var uml = document.getElementById('filter-umlaut');
-            if (!ot || !wf) return;
+            if (!ot || !wf || !uml) return;
             var allowed = [];
             if (ot.checked) allowed.push('ot');
             if (wf.checked) allowed.push('wf');