10520 ) Rättens ombudsman.