Einrichten der SuperX-Servlets unter Tomcat