3897 ) Rättens ombudsman.