Wird Jürgen Klopp deutscher Teamchef? Jetzt liegt es an Red Bull.