My 35 year old Miele is also working fine. I had to replace the pump once after 20 years but that was easy, I just ordered it from Miele for a few Euros. End of production for this model was in the 80s by the way.
Haha. Two days after this post the drier started acting up. Luckily it was just a matter of opening it up and putting back the rpm counter/home sensor.