Washing Machine BOSCH WFL2872GB/07  Pressure switch