Ein Handwerker wird das Waschmaschinengummi herausnehmen, während er das Gerät repariert.