Was hat es mit <?php echo htmlspecialchars($_SERVER['PHP_SELF']); ?>, db.txt Dateien auf sich?