6424 ) Rättens ombudsman.