Iranian-German prisoner Jamshid Sharmahd, who lived in US, executed in Iran over terror conviction