Wie teuer ist es ein Steinschlag zu reparieren?