Das Endergebnis des Texas-Grand-Prix.