Wechsel von "Auto-Formalisation" zu "Auto-Formalisation aller Entschuldigungen in den öffentlichen Repositories von Lean4"