Einhaltung formaler Vorgaben