Helmut Marko verließ Red Bull mit Saisonende.