<div id="search"><form method="get"  action="<?php echo $_SERVER['PHP_SELF']; ?>">
<div><input type="text"  size="15" value="<?php echo wp_specialchars($s, 1); ?>" name="s" />
<input type="submit" id="searchsubmit" value="suchen" /></div>
</form></div>