elevator repairman killed by dumbwaiter