was aber nichts heißen mag. Für's Halbfinale ist es eh egal, aber im Vergleich zu Hoffenheim wäre es interessant ob nun direkter Vergleich oder Tordifferenz zählt.
Wie sicher bist du dir oder hast du eine Quelle dafür?

Hier noch der Artikel aus dem Tordifferenz hervorgeht.