Was kosten eternitplatten zu entsorgen?