How to fix a Bosch tumble dryer that keeps stopping

Not an easy fix, but if you feel you are up to this repair it's worth the while!

This Bosch Maxx8 Tumble Dryer keeps stopping after a few minutes stating that the water reservoir is full. It turns out that the pump house is filled with lint from clothes that have been machine dried. This manual explains how to get to and clean the pump.