About the SESAR Deployment Manager