This page has been moved, the new location is
run_webhmi_as_virtual_machine
.