if*(strstr($_SERVER['HTTP_USER_AGENT'],*"[de]")) *{*header("Location: deutscheSeite.htm");*} else *{*header("Location: derRestderWelt.htm");*}