3890 ) Rättens ombudsman.