#3721: markus web server url changed