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