durch eine tautologie ausgedrueckt: nicht gefunden