An old mine hoist