Washing machines and washer dryers