// Highlight-Seite (highlighter.php)