Kernsanierungen von alten Häusern werden teurer