6823X3 ) Rättens ombudsman.