On the history and art of warming and ventilating rooms and buildings, by open fires, hypocausts, german, dutch, russian, and swedish stoves, steam, hot water, heated air, heat of animals, and other methods: with notices of the progress of personal and fi