Section and elevation of mechanics' shop.