Formal-Check feldgenau

Automatischer Prüflauf Regelwerk formal-v1 (R1–R10) setzt Vorschläge, Prüfer bestätigt.