6458 ) Rättens ombudsman.