Danke für die Info. Da muss ich mir also auch etwas zur Reparatur einfallen lassen. Mal sehen, welchen Schlauch man über die Bruchstelle schieben kann. Schon seltsam, dass der Schlauch einfach so bricht. Ich will mal hoffen, dass das nicht an beliebigen anderen Stellen erneut passiert.