Stav dette: Statistical thermodynamics of vacancies in binary alloys.