Wie teuer ist eine Terrassensanierung?