Textsystem: Bis-Strich mit Leerzeichen (Zahl – Zahl) per Agent-Sweep

562 Ersetzungen in 50 Dateien: Halbgeviertstrich zwischen zwei Ziffern (=
"bis"-Bereich) bekommt Leerzeichen davor/danach (3–4 -> 3 – 4). Regex
/([0-9])\s*–\s*(?=[0-9])/ auf Rohtext (format-erhaltend, CRLF/Einrueckung
unveraendert), Bindestriche in Woertern und Minuszeichen unangetastet, alle
JSON weiter gueltig. Energiemanager-Zeitbloecke sind Display-Labels (kein
Logik-Key) -> safe.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

App/sims/tourismustal/js/iso.js

@@ -940,7 +940,7 @@ export class IsoRenderer {
       const k = `${b.c},${b.r}`;
       if (!msg) { delete this._probNext[k]; continue; }
       if (!this._probNext[k]) {
-        // erster Hinweis nach 15–35 s, danach im 3-Minuten-Takt
+        // erster Hinweis nach 15 – 35 s, danach im 3-Minuten-Takt
         this._probNext[k] = now + 15000 + Math.random() * 20000;
       } else if (now >= this._probNext[k]) {
         this._probNext[k] = now + 180000;