echo file_get_contents("fehler.html");