Football/Europe: Champions League 1972/1973