Beispiel einer Fehlerananalyse in Ondulo