3870 ) Rättens ombudsman.