6456 ) Rättens ombudsman.