Lịch sử đối đầu Đông Đức Olympic vs Mexico Olympic, 05/09/1972