<?php $fileinfo = "muehle.php created 05 Apr 06 17:06:50 by krauss Time-stamp: <2015-01-29 13:59:38 thk>";
$LastChangeTime = $fileinfo;
$LastChangeTime = preg_replace("/^[^<]+<([0-9-]+ [0-9:]+).*$/i","\1",$LastChangeTime);
$Creator = "Thomas Krauß";
$Titel = ""; include("header.php");
?>

<blockquote>

<?php include("footer.php"); ?>