vollstaendige disjunktion: nicht gefunden