3888 ) Rättens ombudsman.