Did you know that the marathon course at the 1972 Summer Olympics was designed to represent the first Olympic mascot , Waldi ?