1400rpm spin should be considered standard if you have an electric dryer. The somewhat dryer clothes will directly reduce electrical drying cost over many years.
Miele are very good, but parts are very expensive. A Siemens/Bosch pump is circa =A335, a Miele pump is circa =A3100-135. Now you can argue the Miele is less likely to fail, but it is a relatively common failure at 7-16yrs whatever the make. So I would suggest shortlist those washing machines offering free 5yr warranty or free
10yr warranty, key being free rather than costly add-on insurance which is grossly inflated compared to what the manufacturers can "self- insure". Then consider carefully re 10yr Miele 5yr Siemens/Bosch/AEG/ Whatever.
Can take quite a bit of shopping around, remember modern washers are mostly cold fill which may require a little plumbing work (cap off the hot, 3/4" BSP cap with rubber washer as I recall).