Football: German Democratic Republic results