Wie schreibt man eine formale Analyse Geschichte?