Warum gibt IE kein $_SERVER['HTTP_REFERER'] aus?

[Raik]

Hallo, Matthias!

Scheinbar liegt es also tatsächlich an der Konfiguration des IE.

nein, anscheinend.
probier doch mal, ob er dir damit etwas ausgibt: < javascript:void(alert(document.referrer))>

freundl. Grüsse aus Berlin, Raik