ich habe nun einen PHP-Test gemacht entsprechend dem Vorschlag von "gast". Also mit
$code=file_get_contents(...); $data=htmlspecialchars($code);
$data=nl2br($data); echo $data;
Es funktioniert sogar, <pre>-Anweisungen sind nicht erforderlich. Der einzige Nachteil: Formatierung in Gestalt von Einrückungen geht verloren.
Gruß Wicki