Hallo Thomas,
vielen Dank für deinen Tipp. Ich habe das Problem gelöst. Warum so schwer machen, wenn es auch einfach geht. So schaut es aus, wenn es funktionieren soll:
<?php
$lines = file ('http://www.testseite.de/test.html?art=12345');
foreach ($lines as $line_num => $line) {
echo "Line #<b>{$line_num}</b> : " . htmlspecialchars($line) . "<br>\n";
}
?>
Das ist alles, was man zum Leben braucht ! :-)
Also, nochmals vielen Dank an alle. Jetzt kann Weihnachten kommen.
Gruß
Dirk