1972年第20届德国慕尼黑奥运会吉祥物_在线百科全书查询