Lịch sử đối đầu Đông Đức Olympic vs Colombia Olympic, 30/08/1972