Elevator repairman in an elevator