Civil servants refer to staff who perform public duties in accordance with the law, are included in the administrative staff, and are paid by the state finances for wages and benefits.
Judge of Dongcheng District Court is not a civil servant.