It is a gobsmacking fact: for the 11th time in a row, over a 40-year span, both Bayern and Inter Milan will be represented in the World Cup final.