Was wird bei einer kernsanierung gemacht?