Was Kosten die Reparatur eines Rohrbruch?