Sì, son andato a vedermi il regolamento, ed effettivamente non menziona il "normal automatico", però anch'io ho sempre visto la fomazione che dà WO normalizzare.
Questo potrebbe essere dovuto al fatto che generalmente il WO si dà quando ci si dimentica di impostare la formazione e non se ne ha una di predefinita, lasciando quindi impostato il normal di default. E' possibile?
Detto questo ovviamente a noi non ci cambia un granchè nell'immediato (e probabilmente neanche a lungo termine dato che gli spagnoli avrebbero piccato lo stesso in semifinale).