3889 ) Rättens ombudsman.