Modellbasierte Diagnose auf Basis Differential-Algebraischer Systeme mit Nichtlinearen Kalman-Filtern