Text this: Energy use and energy efficiency in UK commercial and public buildings up to the year 2000 /