Soccer: German Democratic Republic results