Wie viel kostet eine Kernsanierung?