6269 ) Rättens ombudsman.