Football/Europe: Champions League 1987/1988