Google-Marketingchef übt Optionen aus