Title: The heating of railroad shops