Was ist ein Formalziel?