A more general exergy function and its application to the definition of exergy efficiency. (1st July 2015)