Allein schon der Gedanke das der da steht geht mir schon an die Nerven .
halb so wild

Hauptsache das Problem ist behoben, denn dann wird es höchstwahrscheinlich auch nicht wieder auftreten.
Wird wohl nur ein Materialfehler sein und die neue Pumpe tut seinen Dienst, wie bei tausenden anderen Dustern.
