Ach so. Und, da wir im Geschichtsteil sind, wie war das damals? (Meine Verwirrung kam wohl primär wegen des Verweises auf die Spiele von '72. Den könnte man alternativ als überflüssiges Detail einfach streichen.)