[vboehm]

So,
jetzt habe ich nach vielem Rumsuchen eine Lösung zum Problem gefunden:

Einfach in das PHP-Script auf der Seite ein

$GLOBALS['TSFE']->additionalHeaderData['100'] =
    '<meta http-equiv="refresh" content="3; URL=http://rechner.domain.tld/irgendeineseite">';

einfügen und schon erscheint die gewünschte Ausgabe im HTML-Header der Seite.

Was daran nun allerdings so schwierig oder so geheimnisvoll war, dass es mir keiner verraten wollte, ist mir noch nicht klar.

Ein Zusatzfrage hätte ich aber noch:
Mit dem additionalHeaderData['100']lege ich ja einen bestimmten Index im Array fest und wenn ich - oder jemand anders - den schon mal benutzt hat, wird etwas überschrieben.
Spricht etwas gegen die Variante

$GLOBALS['TSFE']->additionalHeaderData[] =
    '<meta http-equiv="refresh" content="3; URL=http://rechner.domail.tld/irgendeineseite">';

Bei den HTML-Headern kommt es ja üblicherweise nicht auf eine bestimmte Reihenfolge an.

mfg Volker