Sie haben sich für die Analyse eines bestimmten formalen Moduls entschieden. Daher kann diese Option nicht ausgewählt werden.