Gestern ist mir meine Goldharke kaputtgegangen. Ist das Werkzeug-Reparatur-Plugin noch nicht installiert?