es gibt druckschläuche mit 6 mm durchmesser. das wäre genau richtig!