'; ?> "; echo ""; echo "WMS hinzuladen
"; if (isset($xml_file)) { echo""; } else { echo""; } ?>