Haltezeit: Stufe 3,5 Std. und lesbare Angabe in Stunden

Die 3,5 Stunden fallen aus der Reihe, weil sie aus einem konkreten Fall
stammen: dauerhafter Wasserverbrauch. Kuerzer waere Fehlalarm (eine lange
Dusche, eine Waschmaschine), laenger liefe ein offener Hahn eine halbe
Nacht. Die 3 Std. weichen dafuer - niemand hat sie benutzt.

Dazu haltezeitKurz(): ab einer Stunde in Stunden statt in Minuten. "210
Min." muss man umrechnen, "3,5 Std." nicht. Die Beschriftungen der
Auswahlliste kommen jetzt aus derselben Funktion wie die Uebersichtszeile,
das JavaScript hat eine gleichlautende.

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

ajax/AutoAction.php

@@ -232,7 +232,7 @@ if ($action === "list") {
             // die Bedingung stehen bleiben, dann wird ausgeloest.
             if (!empty($a["hold_secs"])) {
                 $wann .= ", erst nach "
-                       . intdiv($a["hold_secs"], 60) . " Min. ununterbrochen";
+                       . haltezeitKurz($a["hold_secs"]) . " ununterbrochen";
             }
             if ($a["lockout_secs"] > 0) {
                 $wann .= ", frühestens alle "