Ist mit Sicherheit das Innenrohr, hatte ich auch schon mal bei meinem alten 740. Damals habe ich das Rohr wechseln lassen, Heute würde ich ein oder zwei Löcher bohren und das Innenrohr anschweißen lassen.
Hier mal ein link dazu
http://www.7-forum.com/modelle/e32/technik.php siehe weiter unten.