name the registry server, so we can recognise it more easily