the Deputy City Manager of Gaithersburg City