Wie teuer ist ein Gaubenausbau?