A craftsman is repairing a piece of machinery in a workshop.