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
 nicht angemeldet
 nicht angemeldet Gunnar Bittersmann
 Gunnar Bittersmann Matthias Apsel
 Matthias Apsel