جمشید شارمهد، شهروند ایرانی‌-‌آلمانی اعدام شد