Football: German Democratic Republic Ol. results