This page has moved to Disconnected Environments Revisited.