what was the mascot for the 1972 summer olympic games?
(AND olympics.olympic_mascot (JOIN olympics.olympic_mascot.olympic_games m.0l98s))