Servlets - Tomcat 5 y servlets... un misterio!

Utilizo j2sdk1.4.2_04 y tomcat-5.0.19. He añadido al CLASSPATH C:\jakarta-tomcat-5.0.19\common\lib\servlet-api.jar. Creo la estructura de directorios siguientes:
\MiAppl
|
META-INF
|
WEB-INF
|
classes
|
lib
|
web.xml
En el web.xml tengo lo siguiente:
<?xml version="1.0" encoding="ISO−8859−15"?>
<!DOCTYPE web−app PUBLIC "−//Sun Microsystems, Inc.//DTD Web Application 2.2//EN"
"http://java.sun.com/j2ee/dtds/web−app_2_2.dtd">
<web−app>
<servlet>
<servlet−name>prueba</servlet−name>
<servlet−class>HolaMundo</servlet−class>
</servlet>
<servlet−mapping>
<servlet−name>prueba</servlet−name>
<url−pattern>hola</url−pattern>
</servlet−mapping>
</web−app>

Y accedo al servlet: http://localhost:8080/hola
Me da el siguiente fallo:
Estado HTTP 404 - /hola

--------------------------------------------------------------------------------

type Informe de estado

mensaje /hola

descripción El recurso requerido (/hola) no está disponible.

--------------------------------------------------------------------------------

Apache Tomcat/5.0.19

Con los JSP no tengo problemas. He probado algunas cosas, he leido todo lo que he encontrado, pero no hay manera de ejecutar ningun servlet. Yo diria que tiene que ser algo de configuracion

Hola amigo,

No es necesario que registres en web.xml, ya que servlets tiene un directorio virtual que es servlet, tu archivo debe ser HolaMundo.class (me imagino), debes tener creado el directorio Miappl dentro de CATALINA_HOME\webapps, entonces accedes de la siguiente manera:
http://localhost:8080/Miappl/servlet/HolaMundo y listo!.
Si quieres registrar de todas maneras en el web.xml que debe estar dentro de CATALINA_HOME\webapps\Miappl el <servlet−name>HolaMundo</servlet−name> no pongas prueba u hola.