Muß ein Leer Rohr, das im Erdreich verlegt ist, Wasserdicht sein? Genügt es nicht, wenn nur die Einführung ins Gebäude Wasserdicht versiegelt wird?