Damit unser WWW-Server die Seite korrekt interpretiert, muss der header
        der xml-Datei angepasst werden. Dazu werden die ersten vier Zeilen (bis zum
	head-tag) durch
	
	  <?php header("Content-type: application/xhtml+xml");?>
          <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0//EN"
          "http://www.w3.org/TR/MathML2/dtd/xhtml-math11-f.dtd" [<!ENTITY mathml "http://www.w3.org/1998/Math/MathML">]>
          <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="de">
	 
	ersetzt. Das so entstandene Dokument erhält die Endung xhtml und
	kann im Internet angeboten werden.