Wie lang ist die Rohrleitung?