Het is een "standaard" grijze pvc buis.
Ik denk aan slangklemmen + pvc cleaner + pvc lijm + lassen / smelten van de scheur van buiten.
Ook een reparatiemof kwam in beeld (om de kapotte rubber borgrand op te lossen).
NIemand noemt het, bestaat zo'n reparatiemof voor 50 mm pijp?