An important correction rides below David Waldstein's story about Monday's Germany-Portugal World Cup match:

An earlier version of this article misstated the last time Germany won the World Cup. It was 1990, not 1090.