Der FC Bayern München hat sich zum 17. Mal in der Geschichte der deutschen Fußball-Bundesliga den inoffiziellen Herbstmeister-Titel gesichert – und wird mit einer statistischen Wahrscheinlichkeit von knapp 88 Prozent auch am Saisonende an der Tabellenspitze stehen.