Tür schaltet sich aus Waschpumpe, wenn sie geöffnet wird,