6454 ) Rättens ombudsman.