Anhang B: Formale Beispiele