Sollten Badezimmerrohre ersetzt werden?