Hi yes that is a thermal cut off you are correct. Unfortunately this means the main drive motor likely need to be changed due to a short in the armature or stator winding's.
This is a fairly easy job to do with just basic hand tools, no soldering required either it just plugs in;-)
I will help you if you need me, the best place to get a new motor is: http://www.ransomspares.co.uk/
Its best to call them to place your order as they will ship it today to you;-)
And there are so many different ones it will ensure that you get the correct motor for you washer.
Please call Ransom Spares: 0844(###) ###-####a href="http://www.ransomspares.co.uk/" target="_blank">Home » Parts » Brands » Bosch
In any case, I will stick with you until this is complete.
Please rate my service kindly.
Also it is the only way I am credited for my time and expertise with you.
Once you rate, I will be notified and will add your question to my priority list so you can reach me anytime until this problem is solved.
Then you can reach me by simply replying to this message anytime.
Thank you and have a great day!