web.xml wieder richtig