Wie ich befürchtet hatte, hatte sich der vermisste Kniestrumpf in der Waschmaschine selbständig gemacht und die Pumpe blockiert.
Kleine Ursache, große Wirkung. Bzw. teure Wirkung: 140€ hat uns der Spaß gekostet. Ab jetzt werden auch Kniestrümpfe im Wäschesack gewaschen.