(Sometimes football history gets mixed up with “real” history; the defeat of a superior Dutch team by Germany in the World Cup final of 1974 also needed to be redressed.) The tribal feelings of Germans were considered, for obvious reasons, to be particularly toxic after Hitler’s Reich, which is why German flag-waving, until recently, was exercised with a slight air of shame-faced restraint that was entirely absent in surrounding countries.