https://www.php-resource.de/forum/xml/54929-dtd-in-domdocument-angeben-wie-php5