nicht ausschliessende disjunktion: nicht gefunden