weiter unten in tickets.php) – damit die Tabelle alle paar * Sekunden ohne Seiten-Reload aktuell bleibt, auch während ein Mitarbeiter * gerade auf der Liste ist. * Erwartet dieselben Variablen, die tickets.php vor dem Einbinden bereits berechnet * hat ($tickets, $ticketTags, $totalPages, $page, $totalCount, $departments, $search, * $filterDept/$filterStatus/... sowie $_GET für die Pagination-Links). */ ?>