Übersicht: Verbindungs-Label klarer, Verbindungszeilen anklickbar

Nutzerfrage: was bedeutet "Optionen" bei einer IP-Adresse verknüpften
DHCP-Netzwerk-Zeile? Umbenannt zu "DHCP-Optionen". Zusätzlich: die
"Verbindungen"-Zeilen im Detailpanel eines Knotens sind jetzt anklickbar
(springt zum verbundenen Element, wie bei Linien-Klicks) und zeigen
beim Hovern eine Klartext-Erklärung als Tooltip (OverviewStyle.
explanation(for:), bereits für EdgeDetailView gebaut).

59 Unit-Tests grün. Manual.md/HANDOFF.md aktualisiert.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01YDmUd93KxsYGr2kLTotWnG

Manual.md

@@ -91,7 +91,9 @@ Grafisches Diagramm des kompletten aktuellen Router-Zustands:
   angeklickt wird).
 - **Klick auf eine Verbindungslinie** zeigt rechts eine verständliche
   Erklärung, was diese Verbindung bedeutet, plus Sprung zu den beiden
-  verbundenen Elementen.
+  verbundenen Elementen. Die "Verbindungen"-Liste im Detailpanel eines
+  Knotens ist ebenfalls klickbar (springt direkt zum verbundenen
+  Element) und zeigt beim Hovern eine kurze Erklärung als Tooltip.
 - **Direktes Bearbeiten**: IP-Adressen, Pools, DHCP-Server/-Netzwerke/
   -Clients, Routen, Firewall-Filter-/NAT-Regeln und WireGuard-Peers
   lassen sich anklicken und über "Bearbeiten" direkt ändern — schreibt
@@ -213,7 +215,9 @@ Graphical diagram of the router's complete current state:
   clicked).
 - **Clicking a connection line** shows a plain-language explanation of
   what it means in the right-hand panel, plus a jump to both connected
-  elements.
+  elements. The "Connections" list in a node's detail panel is also
+  clickable (jumps straight to the connected element) and shows a short
+  explanation as a tooltip on hover.
 - **Direct editing**: IP addresses, pools, DHCP servers/networks/
   clients, routes, firewall filter/NAT rules and WireGuard peers can be
   clicked and changed via "Edit" — writes back to the router