Hvornår skal mine rør renoveres