10269 ) Rättens ombudsman.