Wie muss Echter Hausschwamm beseitigt werden?