District-Ombudsmännen äro , så ofta de kallas,