Nun, ich bin in den Baumarkt gegangen und hab geschaut, was es so an Schläuchen zur Auswahl gibt. Hab zwei verschiedene Durchmesser gefunden, "Teichschlauch" heißen die glaube ich. Einer von beiden passte exakt drüber. Hat glaube ich 32mm (1 1/4 Zoll) Durchmesser. An sich sitzt der von selbst schon ganz gut. Sicherheitshalber hab dann noch vier Aussparungen in das Ende geschnitten, damit er sich verengen lässt (quasi wie ein Bohrfutter) und einen Kabelbinder drumgelegt. Den fahrerseitigen zusätzlich mit einem Kabelbinder an der Leitung dahinter fixiert. Das sollte mehr als ausreichend sein.
Gruß, Ludwig