Was würde eine energetische Sanierung kosten?