Construction of the Olympic Area for the 1972 Summer Olympics in Munich