Який розмір труби потрібний для побутової каналізації?