Oh yes, thats horrorble.
but at Miele washers his is impossible, that washers are so strange made.
my old Miele Automatic w486 topload washer was made in the early 80s with 1000rpm spin speed, that was a fantastic spin resould in this time, when other companys made toploaders with 600 or 700rpm :)