<?PHP
switch ($_SERVER["HTTP_HOST"]) {
 case "www.mapwoc.de":
 case "mapwoc.de":
   $target = "index-de.html";
   break;
 default:
   $target = "index.html";
 }
readfile($target);
?>