3893 ) Rättens ombudsman.