Was ist versicherungstechnisch ein Rohrbruch?