Wie ortet man einen Rohrbruch?