ausschliessende disjunktion: nicht gefunden