Änderungen im web.xml damit SerachServlet funktioniert