Replaced the "device", which I now understand is correctly called a
thermal fuse, cleaned out the dried grease and dust, applied some
"electric motor oil" to the shaft and the fan is blowing again -
maybe another 20 years.

Thanks to everyone for the help.

Frank