David Rutschman's web page is now located at David Rutschman's homepage.