how many football matches did the stadium with a traditional name of frankenstadion in nürnberg host in the 1972 summer olympics ?
six