Reparaturkosten rund 10 000 Euro