more complete RainerMirrorServlet example